Proving Properties of PVM Applications - A Case Study with CoCheck
نویسندگان
چکیده
The results of a case study where we applied a formal method to prove properties of CoCheck, an extention of PVM for the creation of checkpoints of parallel applications on workstation clusters. Although the functionality of CoCheck had been demonstrated in experiments, there was no proof of the desired properties. Consequently, a formal method had to be applied which allows to prove those properties.
منابع مشابه
Resource Management and Checkpointing for PVM
Checkpoints cannot only be used to increase fault tolerance, but also to migrate processes. The migration is particularly useful in workstation environments where machines become dynamically available and unavailable. We introduce the CoCheck environment which not only allows the creation of checkpoints, but also provides process migration. The creation of checkpoints of PVM applications is exp...
متن کاملCoCheck: Checkpointing and Process Migration for MPI
Checkpointing of parallel applications can be used as the core technology to provide process migration. Both, checkpointing and migration, are an important issue for parallel applications on networks of workstations. The CoCheck environment which we present in this paper introduces a new approach to provide checkpointing and migration for parallel applications. In difference to existing systems...
متن کاملRecent analytical applications of magnetic nanoparticles
Analytical chemistry has experienced, as well as other areas of science, a big change due to the needs and opportunities provided by analytical nanoscience and nanotechnology. Now, nanotechnology is increasingly proving to be a powerful ally of analytical chemistry to achieve its objectives, and to simplify analytical processes. Moreover, the information needs arising from the growing nanotechn...
متن کاملPreparation and Characterization of a Bionanopolymer Film for Packaging Applications (a Case Study: Walnut Packaging)
The carboxymethyl cellulose (CMC)/polyvinyl alcohol (PVA) film were prepared by adding three levels of nanoclay particles (0.5, 1 and 3%) using solution casting evaporation method. The incorporation of nanoclay on mechanical, water vapor permeability, and oxygen barrier properties of CMC/PVA-based film was investigated. The best result was obtained through the nanocomposite film contain 3% nano...
متن کاملExperiences with Modelling an Open Pvm Environment Using Computer Simulation
Parallel Virtual Machine (PVM) is a widely{used software system that permits a heterogeneous collection of computers networked together to be viewed by a user's program as a single distributed{memory parallel machine. In this paper, the application of simulation to develop a functional and performance model of the PVM system and PVM applications running in an open workstations environment was i...
متن کامل